@media screen {
  .str { color: #800 }  /* string content */
  .kwd { color: #008; }  /* a keyword */
  .com { color: #080; font-style: italic;  }  /* a comment */
  .typ { color: #606 }  /* a type name */
  .lit { color: #066 }  /* a literal value */
  /* punctuation, lisp open bracket, lisp close bracket */
  .pun, .opn, .clo { color: #660 }
  .tag { color: #008 }  /* a markup tag name */
  .atn { color: #606 }  /* a markup attribute name */
  .atv { color: #080 }  /* a markup attribute value */
  .dec, .var { color: #606 }  /* a declaration; a variable name */
  .fun { color: red }  /* a function name */
}

/* Use higher contrast and text-weight for printable form. */
@media print, projection {
  .str { color: #600 }
  .kwd { color: #006; font-weight: bold ;}
  .com { color: #060; font-style: italic; }
  .typ { color: #404; font-weight: bold; }
  .lit { color: #044 }
  .pun, .opn, .clo { color: #440; }
  .tag { color: #006; font-weight: bold; }
  .atn { color: #404 }
  .atv { color: #060 }
}

pre.prettyprint
{
    border: 1px solid #888;
	font-family: "Courier New", Courier, monospace;
	font-size: 13px;
 	padding:2px;
 	border-color:#6699CC;
 	-moz-border-radius: 8px;
 	-webkit-border-radius: 8px;
 	border-radius: 8px;
}
pre.prettyprint a{font-style:inherit;}
pre.prettyprint a:link, pre.prettyprint a:visited{color:#3366FF;text-decoration:underline;}
pre.prettyprint a:hover, pre.prettyprint a:active{text-decoration:none;}
ol.linenums
{
    margin-top: 0;
    margin-bottom: 0;
}
.prettyprint {
    background:#E0E0E0;
}
li.L0, li.L1, li.L2, li.L3, li.L4, li.L5, li.L6, li.L7, li.L8, li.L9
{
	color:#006699;
	background:#ECF1EF;;
	list-style-type: decimal;
}
li.L1, li.L3, li.L5, li.L7, li.L9 {
  background:#ECF1EF;  
}
@media print
{
    .str
    {
        color:#600 ;
    }
    .kwd
    {
        color: #006;
        font-weight: bold;
    }
    .com
    {
        color: #060;
        font-style: italic;
    }
    .typ
    {
        color: #404;
        font-weight: bold;
    }
    .lit
    {
        color: #044;
    }
    .pun
    {
        color: #440;
    }
    .pln
    {
        color: #000;
    }
    .tag
    {
        color: #006;
        font-weight: bold;
    }
    .atn
    {
        color: #404;
    }
    .atv
    {
        color: #060;
    }
}